Oxford University Computing Laboratory

Results: 135



#Item
61Graph operations / Tree decomposition / Decomposition method / Path decomposition / Parameterized complexity / Constraint satisfaction problem / Bipartite graph / Hypertree / Hypergraph / Graph theory / Theoretical computer science / Constraint programming

Structural Decomposition Methods and What They are Good For Markus Aschinger1 , Conrad Drescher1 , Georg Gottlob1,2 , Peter Jeavons1 , and Evgenij Thorstensen1 1 Computing Laboratory, University of Oxford 2 Oxford Man In

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-06-06 21:34:11
62Oxford University Computing Laboratory / Z notation / Formal methods / Model theory / Functions and mappings / First-order logic / Function / S / Lambda calculus / Mathematical logic / Mathematics / Logic

The Z/EVES Reference Manual (for Version 1.5) TR03d Irwin Meisels and Mark Saaltink Release date: December 1995 Latest revision date: September 1997

Add to Reading List

Source URL: www.oracanada.com

Language: English - Date: 2009-03-31 21:35:27
63Syntax / LR parser / Bottom-up parsing / Parsing / LL parser / Statistical parsing / Michael Collins / Parse tree / Treebank / Linguistics / Programming language implementation / Compiler construction

Transition-Based Parsing of the Chinese Treebank using a Global Discriminative Model Yue Zhang Oxford University Computing Laboratory

Add to Reading List

Source URL: aclweb.org

Language: English - Date: 2010-06-15 09:27:43
64Graph operations / Tree decomposition / Connectivity / Path decomposition / Decomposition method / Nondeterministic algorithm / Connected component / Tree / Graph theory / Theoretical computer science / Mathematics

Tackling the Partner Units Configuration Problem∗ Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen Computing Laboratory University of Oxford

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-06-06 21:34:43
65Steganography / Steganalysis

Batch Steganography and Pooled Steganalysis Andrew Ker Royal Society University Research Fellow Oxford University Computing Laboratory

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2006-07-16 07:35:33
66Statistical inference / Computing / Computer graphics / Digital photography / Steganography / Estimator / Estimation theory / Raw image format / Steganalysis / Statistics / Image processing / Graphics file formats

Revisiting Weighted Stego-Image Steganalysis Andrew D. Kera and Rainer B¨ohmeb a Oxford b Technische University Computing Laboratory, Parks Road, Oxford OX1 3QD, England;

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2008-01-28 17:20:50
67Entailment / Logic / Steganography / Distribution

Batch Steganography and the Threshold Game Andrew D. Ker Oxford University Computing Laboratory, Parks Road, Oxford OX1 3QD, England ABSTRACT In Batch Steganography we assume that a Steganographer has to choose how to al

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2007-04-03 07:30:40
68Parity / Steganalysis / Group / Equivalence relation / Steganography / Physics / Symmetry / Conservation laws

Fourth-Order Structural Steganalysis and Analysis of Cover Assumptions Andrew D. Ker Oxford University Computing Laboratory, Parks Road, Oxford OX1 3QD, England ABSTRACT We extend our previous work on structural steganal

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2006-07-16 07:25:05
69Statistical inference / Steganography / M-estimators / Steganalysis / Maximum likelihood / Bias of an estimator / Normal distribution / Multivariate normal distribution / Maximum a posteriori estimation / Statistics / Estimation theory / Statistical theory

A Fusion of Maximum Likelihood and Structural Steganalysis Andrew D. Ker Oxford University Computing Laboratory, Parks Road, Oxford OX1 3QD, England

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2008-04-17 10:32:29
70Steganalysis / ISO standards / JPEG / Digital photography / Bitmap / Jessica Fridrich / Digital camera / Computer graphics / Reference / Graphics file formats / Steganography / Computing

Resampling and the Detection of LSB Matching in Colour Bitmaps Andrew D. Ker Oxford University Computing Laboratory, Parks Road, Oxford OX1 3QD, England ABSTRACT We consider the problem of detecting the presence of hidde

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2006-07-16 07:24:47
UPDATE